Mani Mekler, Krisztina Laki, Karl Ridderbusch, Radio-Symphonie-Orchester Berlin & Roland Bader