AMSTERDAM den 23 fehr.