Se convirtió en propiedad real en 1776 y pasó a llamarse en 1782, « fundición real de la Marina ».