Der Ausbreitungsraum zur Garbe der holomorphen Funktionen auf einer riemannschen Fläche
ist ein Hausdorffraum.