weitere Fehler bis 1.8.1 korrigiert
Merge branch 'master' of https://github.com/mathematiker/Topologie