Ets Haim Library, Amsterdam, The Netherlands-collection lost to Germany during WWII but now returned