Der Täter sei von Sicherheitskräften noch am Tatort erschossen worden, teilte ein Sprecher mit. Der Grenzpolizist sei leicht verletzt worden und befinde sich im Krankenhaus. Der Angreifer sei als 34-jähriger türkischer Staatsbürger identifiziert worden.