Trauer um Historiker: Wolfgang Leonhard ist tot