— AMSTERDAM den 7 Juli,