WDR Rundfunkorchester Köln, WDR Rundfunkchor ...