kr. , hwaraf 850,000 för 1880 , till fartygsmateriel.