Release for Winter Term 2024

This version is supposed to be used in Winter Term 2024. We will only add bugfixes, major changes are not going to be made to this version. We will maintain such a version until end of summer term 2025, when the last chance of writing an exam with respect to the 2024 course is passing by.