Adds public holidays in Germany.

Adds public holidays in Germany.