\newcommand{\semester}{Sommersemester 2020}
\newcommand{\lastchange}{30.\,3.\,2020}
