Industrial oils; Oils, waxes for use in the manufacture of other products