Metal mines and mining. Development of collective bargaining in metal mining.