World War II: Military resistance to the German occupation of Norway ends.