AMSTERDAM den 12 fehr.