洞冶

注释

1.指矿藏冶炼。