Behälter mit großem Flüssigkeitsvolumen, meist mit Wasser oder Öl gefüllt, zum schnellen Abkühlen erhitzter Werkstücke.