Какая русская княжна была императрицей Священной Римской Империи?

Евпраксия, дочь Всеволода Ярославича. История интересная и печальная. Первоначально она была замужем за маркграфом Генрихом Штаденом, семейством весьма влиятельным в то время. После смерти его вышла замуж за Генриха IV, императора. Однако характер у последнего по свидетельствам историков был скверный и склонный к разврату. Евпраксия вынуждена была бежать и после многих трудностей вернулась в итоге в Киев, где окончила жизнь, по моему, в монастыре.