Petrol at Dutch filling stations became slightly cheaper while the oil price remained very high. The reason for the change and how long it would last were not reported.