Biographisches Lexikon zur Geschichte der Demographie