high-pressure quenching - German English Dictionary