AMSTERDAM den 9 Juli.