varmbadhuset uppgår nu till omkring 7,000 rdr.