Finally the hole has gone. We've filled it with twelve tonnes of soil and can now plant things. Note also the edge of the pond.