The pump went out in one of the garden ponds in late autumn, and I haven’t a clue why. Perhaps it was old age. I know the feeling. Replacing the pump was a rare expense for my ponds, that is if the cost of running electricity twenty four hours a day for five ponds through…