Folklore Fights the Nazis: Humor in Occupied Norway, 19401945