Änderungen an Kompaktheit.