An wie viele Filmen arbeiteten John Williams und Steven Spielberg gemeinsam?