må i förbigående tilläggas , att exporten af zinkblende stigit till 9 , 585 ,000