for manufacturing or repairing tools