Pumpen, Tränkebecken