DVS 12 vacuum pump