Official open hours are unfortunately not the real open hours. As https://news.ycombinator.com/item?id=38331076 https://news.ycombinator.com/item?id=38331076 wr

Official open hours are unfortunately not the real open hours. As https://news.ycombinator.com/item?id=38331076 https://news.ycombinator.com/item?id=38331076 writes, I was also standing several times in front of the building just to read on a sheet of paper at the entrance that the pool is closed.