för en kostnad af 255,000 kr. , hvari dock ingår äfven annan reparation.