define holidays: de-RP: 2018_05_31 = Fronleichnam 2018_11_01 = Allerheiligen