ARCHIV: Rote Lichter am Münchner Hauptbahnhof, Deutschland, 10. Februar 2020.