Dies sei um 13 Uhr erfolgt, teilte die Polizei mit. Zuvor waren weite Teile der Innenstadt evakuiert worden. Von den Maßnahmen betroffen waren etwa 10.000 Menschen.