בריכת אברהם, קיצור התומר דבורה להרמ"ק ...