Ersatz Vakuumpumpe fuer DIII F