Thank you :) I wish I could dip in that water, it was pretty hot that day, but if it was allowed, the crowds would probably ruin it. The pool is not big and I can imagine that some unique fragile ecosystem has developed in there. Better keep it closed for people :)