Machines and apparatus of a kind used solely or principally for the manufacture of semiconductor devices or of electronic integrated circuits