kleine Korrekturen in Bezeichnungen