I used to dive a lot myself back in the day (when health was not an issue).
Mostly in Turkey, South Africa & Austrailia... I did a few dives in a 'military style' training tank / facility too, it was for charity.
The pool mentioned above (military) was quite a bit deeper, but certainly isn't open to the public as the one you have shown us here.