The old public washhouse.