Delfin-Baby im Zoo Duisburg heißt Debbie