Staatskapelle Berlin / Chor Der Staatsoper Berlin / Kinderchor des Deutschlandsenders / Paul Dessau