Berlin . Der 31. Oktober wird dem 23. Mai und dem 13. Juni vorgezogen. “Wichtiger Schritt“ für einen gemeinsamen zusätzlichen Feiertag.