. . . . . . . "12th-century person of the Holy Roman Empire" . . .