utvidgning anslagit en summa af 10,000 rdr och till stadens varmbadhus 1,200 rdr rmt.