Rundfunkchor Berlin, Deutsches Symphonie-Orchester Berlin & Gijs Leenaars