https://cs.fs.uni-saarland.de/2023/03/07/mfi-1-repetitorium-mfcs-1-revision-course/