 Complete the following phrase:  Other Formula One records set in 1992 that he still holds are the highest percentage of pole positions in a season 88, most wins from pole position in a season nine and most runner-up championship finishes before becoming World Champion three. Mansell also holds the record for obtaining pole position and scoring the fastest lap and subsequently retiring from the race 1987 German Grand Prix, 