helium leak detector used to test vacuum tube feedthroughs