kleine Korrekturen
probleme: löschen einiger Projekte
commit
some older changes
Merge branch 'master' of https://github.com/faebser/gaspardweissheimer
projekt depot
some older changes