» Var det då konungen i Norge,