define holidays:
  de-DE:
    2018_01_01 = Neujahr
    2018_03_30 = Karfreitag
    2018_04_01 = Ostern
    2018_04_02 = Ostermontag
    2018_05_01 = Erster Maifeiertag
    2018_05_10 = Christi Himmelfahrt
    2018_05_20 = Pfingstsonntag
    2018_05_21 = Pfingstmontag
    2018_10_03 = Tag der deutschen Einheit
    2018_12_24 = Heiligabend
    2018_12_25 = Erster Weihnachtstag
    2018_12_26 = Zweiter Weihnachtstag
    2018_12_31 = Silvester