Weitere Erkenntnisse zum Polizeieinsatz mit Verletzten anlässlich des Hamburg-Derby im Oktober 2022