teodomiro was one the last swabian kings of galicia