Books by Bet din tsedeḳ she-ʻal yad ha-ʻEdah ha-ḥaredit (Jerusalem). Maḥleḳet kashrut ṿe-ṭohorat ha-dagim