Einsatzstahl EC80 (1.7131)