af den extra ordinarie marinbudgeten.