All data related to GDP first quarterly estimate, UK: July to September 2020