This article is a translation of the English original. The translation can contain textual or factual errors; the English article is authoritative.