har , så vidt hittills är kändt , kostat staden såsom kommun 9,000 rdr.