Translation of "Auswahlgesamtheit" in English