High-Vacuum Technology: A Practical Guide, Second Edition (Mechanical Engineering)