quenching

quenching [De].
In metalworking, the plunging of a red-hot iron implement into cold water or brine to harden it.