Nach Medienberichten wurde der Angreifer von einem Polizisten erschossen. Ein Polizeisprecher sagte, der Täter sei "außer Gefecht gesetzt worden".
