continuation of Philipp Höhn's talk, today at 15:30