regeringen besluten för marinens verkstäder.