A functional central limit theorem for the level measure of a Gaussian random field

We prove a functional central limit theorem for the Hausdorff measure of level sets generated by a smooth Gaussian random field.