( f. d. Marieholme badhus)