Encyclopedia Britannica stops print publication