Arsenal de la Carraca
... that Arsenal de la Carraca was the first military establishment of its kind in Spain?
... that <b id="mwD04"><a href="./Arsenal_de_la_Carraca" id="mwD08" rel="mw:WikiLink" title="Arsenal de la Carraca">Arsenal de la Carraca</a></b> was the first military establishment of its kind in Spain?