Hard milling

Hard milling is the milling of hardened steel.