Translated from the Russian.