Hamburger Hochbahn trauert um Mitarbeiter nach Unfall am Jungfernstieg