https://9dok.net/document/yev1m097-juli-exercises-lecture-logics-sheet-klaus-madlener-delivery.html