Recording of lecture 1 published Oct 31, 2022 The recording of the first lecture has been published and can be downloaded via the recordings-page. Unfortunately, due to a technical issue only audio has been recorded (will be fixed for further lectures).