Namenstaufe des Elefantenbullen aus dem Leipziger Zoo