Symbolische Konstanten umbenannt