Dingelstedt, Franz — encyclopedic article