[Mllab] solutions of sheet 4 from Christoph Smoch and Yannick Burchart