Elefantennachwuchs im Leipziger Zoo wird getauft