Source: https://wtf1.com/post/the-last-f1-race-decided-on-aggregate-time-happened-on-this-day-in-1994/