Translated from Russian.