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