Det heter nemligen i det kongl,