Hans Werner Henze,Radio-Symphonie-Orchester Berlin,Orchester der Deutschen Oper Berlin