AMSTERDAM den 12 Juli.