Schönbrunn bekommt ein neues Elefantenhaus.