  We derive a central limit theorem for the mean-square of random waves in the
high-frequency limit over shrinking sets. Our proof applies to any compact
Riemannian manifold of arbitrary dimension, thanks to the universality of the
local Weyl law. The key technical step is an estimate capturing some
cancellation in a triple integral of Bessel functions, which we achieve using
Gegenbauer's addition formula.
