— AMSTERDAM den 9 joli.