AMSTERDAM den 5 juli.