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