Topological proper separation theorems Ulrich Meyer zu Hörste — 1982 Commentationes Mathematicae Universitatis Carolinae