DINDORF, Wilhelm [Hrsg.]