diethyl ether in industrial degreasing