Translation from the Russian.