Hartgusspumpe, repariert