John Williams, Berlin Philharmonic Orchestra