WDR Rundfunkchor Köln, WDR Sinfonieorchester ...