how many laps for jochen rindt?
1.0