Public December holidays
in Germany and the U.S.