https://9dok.net/document/zlg18p5r-ubungzu-automatisierteprogrammverifikation-ss-abgabe-mi-inderfrontal-ubungaufgabe-punkte.html