Werkzeuge (Großhändler), Werkzeuge für die Metallbearbeitung (Großhändler), Industriewerkzeuge (Großhändler)