Gran Premio di Germania 1993: differenze tra le versioni