Äquivalenz der Kompaktheitsbegriffe ergänzt.