Norges konung i toredags för att , enligt grundlagens föreskrift , derstädes tillbringa nägon tid af äret.