Symbolverzeichnis beendet