Berlin feiert den 1. Mai - mit Kundgebungen auf dem Platz der Republik. Heinz Deutschendorf hat sich vor Ort umgesehen.