Recording of lecture 4 Nov 17, 2022 The recording of the 4th lecture has been published and can be downloaded via the recordings-page.