https://9dok.net/document/y6elw595-sbieleck-studs-wuppertal-ubungsblatt-ausgabe-abgabebis-uhran-formalemethoden.html