äro Amsterdams diamantarbetares prestationer.