Zoopark Erfurt, Afrikanischer Elefant