Die Nachrichten melden: , der Angreifer wurde getötet.