Dekalin, brand of Diffutherm B.V