Theodosia var gemål till konungen öfver västgöterna i Spanien.