Translation of "Gesamtprokurist" in English