The German contribution to the Spanish mining lexicon of the 18th century | Publicación