Norsk militær innsats ut og hjemme 1940/1945.