AMSTERDAM den 9 fehr.