WDR Rundfunkchor Köln, WDR Rundfunkorchester ...