The Orchestre Philharmonique de Radio France at the Kölner Philharmonie