German military occupation of Norway during World War II