Polizei rüstet sich mit 6300 Beamten für die Demonstrationen am 1. Mai in Berlin