\"Machine-tools for working any material by removal of material, operated by electro-discharge processes \r\n\"