underhåll med 7,000 kr. , hvad derutöfver åtgår bekostas af Jernkontoret.