$SEI Группа купила себе SEI — и это тоже считается удвоением, приятно!