20080720 unknown: Hamilton wins German Grand Prix