Petrol prices and the world oil price