Properly discontinuous actions on Hilbert manifolds