Yes, measuring the pressure of the vacuum. And yes, maybe not many people have experience or direct knowledge, could be.
The dimensions are as follows, for two cases (in mm):
* Penning is typically DN40
* Pipe from penning to valve is DN40 or DN16, ~75 mm long
* Valve is DN40 or DN16
*...