Title: Heidelberger Gelehrtenlexikon: 1652–1802 (German Edition)