Hand picks were quickly replaced by pneumatic picks and electric drills.

• 手镐很快换成了风镐和电钻。