— AMSTERDAM den 12 Juli.