AMSTERDAM den 15 fehr.