5000 Polizisten am 1. Mai in Berlin – und weniger Toleranz