The exponential map of a weak Riemannian Hilbert manifold.