dessa rum inberäknad torde varmbadhuset med maskiner och inventarier ha kråft en kostnad af inemot 20,000 kr.