AMSTERDAM den 80 Juli.