Benjamini--Schramm convergence of arithmetic locally symmetric spaces

We prove that the thin parts of arithmetically defined locally symmetric space take up a negligible part of their volume and deduce asymptotic results on their Betti numbers.