konung Håkan V Magnusson af Norge.