Translation of "Ehemaligen praesidenten" in English