Mineral oils and greases for industrial purposes; non-mineral oils and greases for industrial purposes; [ industrial greases; ] lubricating oils; cutting oils; [ petroleum jelly for industrial purposes; ] quenching oils; mould releasing oils