budget för utomordentliga hjelpmedel för marinen.