See "Lecture Plan"
Semester: WiSe 2022/23