how many fewer laps did carlos pace complete than jochen mass?
4