Oralia Dominguez, Radio-Symphonie-Orchester Berlin, Richard Kraus, RIAS Kammerchor & Günther Arndt