AMSTERDAM den 25 fehr.