Tool steel 1.2842