Ebner, Hieronymus Wilhelm — encyclopedic article