auspumpen

Keller auspumpen

Basement pump

Wir mussten bei Nacht einen Teil des Wassers mit einer Benzinpumpe auspumpen

We had to pump out some of the water with a petrol pump at night

Ich verlange ja auch nicht wegen der besonders hohen Kosten für das Auspumpen all dieses zusätzlichen Wassers eine Sonderbehandlung bei den Konvergenzkriterien.

But I do not expect special treatment on the convergence criteria because of the especially high costs of pumping out all that extra water.