Tool steel hardening