Kompakte Teilmengen probegelesen.
Mehr Änderungen an Kompaktheit.