Be aware "shorts" and "bermudas" are forbidden according to their publicity leaflet in both the swimming pool and the sauna.  "Speedo" type trunks are needed.
They sell them there but it's expensive - about 20 euros. You can, however, rent some for 4 euros if you like!