— • AMSTERDAM den 5 juli.