dział przemysłu zajmujący się warzeniem soli; warzelnictwo