Kein „Tag der Deutschen Arbeit“

Korrektur zur Meldung „Nächster Feiertag erst im Oktober“ (CP v. 7.6.): In Berlin ist bekanntlich jeder Tag ein Feiertag (irgendein Grund findet sich immer), aber der 3. Oktober ist und bleibt der Tag der Deutschen Einheit (auch wenn es einiger Arbeit bedurfte, das zu schaffen). Den 1. Mai und den 3. Oktober zusammenzulegen und als „Tag der Deutschen Arbeit“ zu deklarieren, um einen Feiertag zu sparen, entspricht zwar womöglich den Wünschen von Arbeitgebern und Regierung, war aber nicht vom Checkpoint intendiert.