Couple of mins found its replaced by Garia TC12.
Its nothing more than a neat cutting oil for industrial heavy duty applications as:-
• deep hole drilling
• broaching and tapping
• gear cutting and shaving
• reaming
• grinding, honing and lapping
• turning, planing, shaping, drilling and milling
Outside realms of hobbiests theres many others, worlds your oyster on better serving lubes.