Stav dette: Radio-Symphonie-Orchester Berlin