define holidays:
  de-TH:
    2018_10_31 = Reformationstag