Wire cutting a gear (EDM)