Im Dresdner Zoo erledigen zurzeit professionelle Zooreiniger den Frühjahrsputz. Nach dem Giraffenhaus am Montag war am Dienstag das Elefantenhaus dran – und hier war auch der Aufwand höher.