Nach Anschlag in Straßburg: Polizei erschießt mutmaßlichen Täter