Translation of "Optionenraum" in English