Enligt ett officielt meddelande hette det,