Statutory holidays in Greater Germania