9 GeV energy gain in a beam-driven plasma wakefield accelerator. (15th February 2016)