Welche Arten von Vakuumpumpen gibt es und wie unterscheiden sie sich in ihrem Funktionsprinzip?