No swimming

It was early and raining, but I don't see any reason for this empty swimming pool. This is on the campsite on the Gulperberg. We passed it on our early morning walk.
How I would have liked to be the only swimmer.