likväl icke gasverkshuset inberäknadt , hvilket antages kosta omkring 20,000 rdr , och verkmästarens bostad , somsannolikt