Randalierende Fußballfans: Großeinsatz der Polizei in Deutschland