I recall from a visit nearly 30 years ago that it was claimed this was the deepest/largest sealion pool in Europe, it looks very different from memory, and wonder if it still holds the title.
I belive it cracked once and was replaced or is that a false memory?