ירושלים רבתי, דוד בנבנשתי, הוצאת קרית-ספר, ירושלים