Lindner, Friedrich Ludwig — encyclopedic article