Cluster mass calibration at high redshift: HST weak lensing analysis of 13 distant galaxy clusters from the South Pole Telescope Sunyaev–Zel'dovich Survey. Issue 2 (14th October 2017)