AMSTERDAM den 0 juli.