https://christiandecker.de/teaching/theses/
Theses