挖掘工具 古挖掘工具和篮子的矿井中的一条隧道内的岩石