Streit im Hotel: Polizei erschießt Angreifer, der in Marseille 5 Menschen mit einem Messer verletzt hatte