Constant mean curvature slices in the extended Schwarzschild solution and the collapse of the lapse

We give a detailed description of the constant mean curvature foliations in Schwarzschild spacetime, show that the lapse collapses exponentially, and compute the exponent.