define holidays:
  de-SL:
    2018_05_31 = Fronleichnam
    2018_08_15 = Mariä Himmelfahrt
    2018_11_01 = Allerheiligen