[Kleine Korrekturen]