The Amsterdam Diamond Industry, its Workers and their Trade Union: A Local, European and Global Perspective