Korrekturen am Satz der Symbole