Tillhör denna paviljong badanstalten?