Auch Scharfschützen der Polizei waren im Einsatz.
Bild: APA/dpa/David Young
