Astilleros españoles e industria auxiliar (Documentación española (Agencia EFE), 1972)