When I was a kid, we used to go to this pool frequently. It was called the Gesundbrunnen ("health well"), but for 7-year old me it's name was always Summi. After the closure it has fallen to decay for years, and it was demolished a few months after I shot this.
This HDRI is remarkable for the wide open space and the lovely cracked ground texture. It works well for models of all sizes.