Så heter det i den kongl,