Kölner Rundfunk-sinfonie-orch.