https://9dok.net/document/q054oopl-juli-präsenzübungen-vorlesung-logik-blatt-roland-meyer-bearbeitung.html