AMSTERDAM den 7 fehr.