"crude oil"

means natural mineral oil, including condensate, but excluding petroleum products;