Title: [Gasballastpumpen und Vakuumtechnik des Dampfes]