hyper-kaehler manifold