ヘレス・サーキット
The official race lap records at the Circuito de Jerez are listed as: