Vakuumpumpe für Kernbohrgerät