\lecture{15}{2023-12-05}{}

\todo{Lecture 15 is missing}
