Electric discharge machines for metal working; automatic wire-feeding machines for wire electric discharge machines