https://9dok.net/document/q5m3j607-ubung-automatisierte-programmverifikation-abgabe-frontal-aufgabe-punkt-programm.html