Lipschitz convergence of Riemannian manifolds.