Industrial greases; lubricating oils (industrial lubricants); cutting oils; other mineral oils and greases for industrial purposes (not for fuel); non-mineral oils and greases for industrial purposes (not for fuel)