Hammam Sancti Petri. Arabische baden