Definition of "bathhouse"