marinen begäras i extra-ordinarie budgeten omkring .4 millioner.