What is the best way to clean out the muck and leaves from one's pond?
Doing it by hand is not very efficient. My pond is just under 1000 gallons.

Mike