BALLAST – air-cooled rotary vane vacuum pumps