Translation of "Gesamtverteiler" in English