At one magic moment (after threatening the pump to become a cucumber slicer), the pump miraculously started to work again. In the water, Eric and undersigned inspected the working of the pump. For me it was a good excuse to go swimming, after not having taken a shower so far…