Lothair II, emperor and German king, discovers Justinian's Pandects