Badanstalten : Warmbadhuset , Ostra hamnområdet,