学了《猎人海力布》，你知道那块叫“海力布”的石头的来历了吗？简单介绍一下吧。