Austenitic stainless steels hardening during and after cold working - turning, milling, punching, planing, etc