Astilleros españoles e industria auxiliar (Agencia EFE, 1972)