Theses on the basic principles of electrical discharge wire cutting, technical documents on the basic principles of electrical discharge wire cutting