Book Heidelberger Gelehrtenlexikon 18031932 1986