Hausdorff_space loading ...