Weitere Erkenntnisse zum Bundespolizeieinsatz anlässlich des Hamburg-Derbys im Oktober 2022