machines for washing substrates in semiconductor manufacture; semiconductor manufacturing machines; printed-circuit board manufacturing machines