"Kompaktheit (f)" Englisch