Reworked the holiday files for Germany.
Fixed the common holidays for all federal states according to official
sources, and added a file for each federal state that has additional
holidays. Also fixed (more rewrote) the existing one for Bavaria.
BUG: 373686