Translation of "Variantenbaum" in English