#7 gesetzliche Feiertage/public holiday

[markus]

Would be nice to have an option to choose "gesetzliche Feiertage" for days like 1.May or 25th and
26th of December. "Urlaub" implicates that you have to take a day off.......
philipp ("mr.overdone") would prefer the option to import regional "public holiday" settings to
customize the highlighting in the calendar-table.
pfüati.mrks.