When running snify on SMAI/hwexam/source/SS25/quizzes/quiz1.en.tex 
