pompa industrialna XIXw.