# Holidays for all of Germany see holidays.de-DE
define holidays:
  de-TH:
    2018_10_31 = Reformationstag