kleinere Korrekturen zu Style-Warnungen