Kompaktheit neu definiert.