Rundfunk-Orchester Berlin & Hans-Dieter Baum