I officiella rapporter heter det ,att