Kleine Korrekturen und Straffungen.