https://9dok.net/document/q05j10gl-einführung-informatik-ii-entwurf-verträge-teil.html