Machine tools; for working any material by removal of material; operated by plasma arc processes;