What was the Marzili pool formerly called?

Akademische Badeanstalt (Academic Bathing Establishment)