process principles of high pressure gas quenching in