A translated version of this article will be available online shortly.