Attacke am Karlsruher Bahnhof: Polizei sucht mit Hubschrauber nach Messerstecher