då denne var Norges högste ämbetsman.