( Norges grundlov § 42 ).