版次：10
2023年01月12日
老矿坑变身地质文化公园。童祖鸣 摄