“...Radio-Symphonie Orchester Berlin ....”