In the last century it was the municipal swimming pools (2) in which I swam in the 1960s. Now a luxury hotel.