för 14,200 kr. , och stadens gamla brunnshus , för 8,000 kr. , samtligai