AMSTERDAM den li oktober , pr okt 9 ).