^AMSTERDAM den 13 ) juli.