GH Convergence of Metric Spaces 2019