20010505 unknown: Petrol becomes cheaper; diesel dearer