Bei einer harmlosen Personenkontrolle sind gestern in Mainz sieben Polizisten von einer Horde junger Männer verletzt worden +++