Allerheiligen (regionaler Feiertag) (01.11.18)