Det heter derom i det officiella meddelandet: