( Det offentliga s. k. badhus,