"quenching (heat treatment)" Deutsche bedeutung