I translated some of his posts from German into Russian. Many thanks to Sergey for his great work!