define holidays:
  de-ST:
    2018_10_31 = Reformationstag