“甘雨亭”名字的由来