90-Kilo-Fisch beißt fünf Menschen in bayerischem Badesee, wird von Polizisten erschossen