AMSTERDAM den 30 Juli.