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