\newcommand{\semester}{Wintersemester 2023/24}
\newcommand{\lastchange}{7.\,9.\,2023}
