Renströmska badhuset och Allén.