Lindemann, Friedrich, 1792-1854, ed. lit.