hade Norge utgjort en del af konungariket Danmark.