AMSTERDAM den 22 Juli.