Other machines and apparatus for the manufacture of semiconductor devices or of electronic integrated circuis