nedsatt marinbudgeten med omkring 400,000 kr.