Hans Hotter, Radio-Symphonie-Orchester Berlin...