. . . "Petty kingdom of Norway" . .