Gran Premi d'Alemanya del 1953: diferència entre les revisions