Werner Bochmann, Thomas Gabrisch, WDR Rundfunkorchester Köln