What was the fastest pit stop all time in Formula 1?

Quickest pit stop time was set by McLaren at 2012 German GP with time of 2.31s.