Zum Terrorgedenken: fast 700 Polizisten im Einsatz