samt för reparationer af tingshuset 5,696 kr.