Norway and the second world war