— AMSTERDAM den 1 juli.