befintliga fartyg ; 128.000 kronor för minwäsendet och mintillwerkningspersonalen ; 6.000 kr.