Tagged wire-edm-cutting