https://9dok.net/document/y962xg8w-wintersemester-übungsblattnr-abgabetermin-keineabgabe-logischemethodendessoftwareengineerings-übungenzurvorlesung.html