Text this: High vacuum technique: theory, practice and properties of materials /