define holidays:
  de-HH:
    2018_10_31 = Reformationstag