Industrial lubricants; Lubricants for industrial purposes; Lubricating oils and greases; Lubricating oil; Synthetic lubricating oils