Revisi ọ n

(nochmalige) Prüfung der vom Setzer ausgeführten Korrekturen.