Mai-Demos in Berlin und Hamburg weniger heftig als in Vorjahren