Karl Wilhelm Dindorf (n.