Definition des Zentralisators umgeschrieben.