"compactness theorem" Deutsche bedeutung