(1900-1915) library at Batavia