Российский шахматист Антон Демченко — единоличный лидер ЧЕ после девяти туров