Mineral oils and greases for industrialpurposes; Mineral oils for use in the manufacture of other products