Electronic spare parts for EDM machines