A revised version of this report was published in …