I finally got a chance to clear out the shed today. I've posted pictures of the pump and the tools I've been left. Here's the link:
Water is bubbling up in two places in the long narrow part of the pond, but not in the widest, deepest, part where the fish are. Anyway, the pump is obviously working.
I think the flat net is for pond weed and the other one for fish. I guess the brush in the middle is for cleaning the sides of the pond (it has traces of green slime on it). But what's the little spade thingy for?
It now seems that I have 6 fish. 4 are orange and white stripes. Another is sort of mottled black/gold/orange. I think they're perhaps koi. But the biggest (which I originally thought was the only fish) is very difficult to spot. It's clearly something different.
The previous owner left no info or instructions at all. Should I assume that she at least fed them before she moved a couple of weeks ago? Or should I feed them now, just in case?
Thanks again.