kleine Korrekturen und Dokumentation.