german-holiday

Check whether a date is a german holiday