Industrial oil; lubricating oils; cutting oils; lubricants, in particular for steel tube production by the cold-forming process; cooling lubricants for industrial use; agents for the use in industrial reforming processes, in particular lubricants for the use in metalworking reforming processes