Mann attackierte Passanten und Einsatzkräfte: Polizei erschießt Messer-Angreifer