Miners dug for coal by hand in those days.

• 在那些日子里，矿工用手挖煤。