Weitenkampf, Johann Friedrich fürs Kant-Lexikon