Första gången nämnes den af konungen,