‫רבי ירחמיאל ישראל יצחק מאלכסנדר ב"ר יחיאל "ישמח ישראל"‬‏