“electrical discharge machining, removing metal by spark erosion”