i tisdags marinministeriets budget.