Polizei erschießt Mann bei Einsatz in Gießener Klinik