Vacuum technology. Dimensions of knife-edge flanges. (14th February 2020)