Translation of "Auswahlbaum" in English