German occupation of Norway during the Second World War