af ett tidsenligt varmbadhus , 10,000 kr.