Many thanks to Yuri Gurevich for the translation