by rapid cooling or quenching; cooling agents used therefor