\newcommand{\semester}{Wintersemester 2019/20}
\newcommand{\lastchange}{1.\,10.\,2019}
