"Radio-Symphonie-Orchester Berlin" . .