Von Auto erfasst: Hochbahn trauert nach Unfall am Jungfernstieg um Mitarbeiter