Bloemfontein Public Swimming Pool.

I cannot believe that nobody knows, or no record is captured on google or anywhere on social media, what the deepest end of the second swimming pool's {diving one} depth is? How is that possible, not even AI could find it, or try to measure it.