ytterligare 10 millioner pund till marin-arsenale ».