vollständiger Hausdorff-Raum