Berliner Rundfunk-Sinfonieorchester & Horst Stein