Netherlands) Ḥevrah ḳedoshah Hoge dat (Amsterdam