Rundfunkchor, Berlin, Deutsches Symphonie-Orchester Berlin & Gijs Leenaars