The German Occupation of Denmark, 1940-1945