Enligt de officiella raporter,