Leisewitz, Johann Anton — encyclopedic article