The quantization of gravity in globally hyperbolic spacetimes - Gerhardt, Claus (Arxiv, 2012)