Fig. 21.—Internal or double-tube cooler. 
