Index imperatorum Sacri Romani ImperiiFrom Wikipedia, the free encyclopedia Lotharius I Otto I Magnus