The Battle for Norway, 1940-1942