Symbolverzeichnis hinzugefügt