Anhebung der Bahnsteige der Stationen Reichenspergerplatz und Appellhofplatz (Zeughaus)