Stikstål, værktøjsholdere m.m.