Malcolm Vaughan and Berlin Philharmonic Orchestra