Cutting of materials by abrasion; cutting of metals by abrasion; cutting of materials by means of abrasive wires