AMSTERDAM den 17 fehr.