https://9dok.net/document/z1d4kjvd-april-übungen-vorlesung-logik-prof-klaus-madlener-blatt.html