AMSTERDAM den 0 Juli.