We investigate the asymptotic behavior of eigenfunctions of the Laplacian on Riemannian manifolds. We show that Benjamini-Schramm convergence provides a unified language for the level and eigenvalue aspects of the theory. As a result, we present a mathematically precise formulation of Berrys conjecture for a compact negatively curved manifold and formulate a Berry-type conjecture for sequences of locally symmetric spaces. We prove some we