Elsevier’s dictionary of high vacuum science and technology : In six languages: German, English, French, Spanish, Italian, Russian / Compiled and arranged on a German alphabetical basis by Fritz Weber. Introduction by E. Thomas and K. Diels