— AMSTERDAM den 20 juli.