AMSTERDAM den 10 fehr.