Text this: Daʻat Torah be-ʻinyan mashiaḥ u-geʾulah =