Are these pictures of the pool just discovered, or the re-built pool from the Middle Ages?
The one in post 20 is from the early 20th century. The link in 20 has a number of sourced pictures.