Copper sheet metal that is to be used as a gasket, is usually annealed by heating it to a cherry red color, and then __________.