define holidays:
  de-SL:
    2018_08_15 = Mariä Himmelfahrt