https://9dok.net/document/yr3mro98-ubungsblatt-ausgabe-april-abgabe-atestens-april-indervorlesung-programmingbycontract.html