https://123dok.net/document/zpn13p27-x-kompakter-hausdorff-raum-seien-abgeschlossene-teilr-aume.html