In what year did Lothar past away?