Technischer Bericht: Rechtschreibfehler korrigiert
Merge branch 'export' of github.com:moerkb/logical-workbench into export