Haken_manifold loading ...