Industrial grease; grease for machines; lubricating grease; lubricating oils; industrial lubricants; mineral oils and greases for industrial purposes, not for fuel; non-mineral oils and greases for industrial purposes, not for fuel