Tagged vacuum-gauge