om konungen i Norge skulle komma i krig nied konungeni