Overzetting der Joodse wetten, Theodoor Koning, naar Jacobus Buys, 1780