Kanal- und Straßenbauarbeiten zur Beseitigung abflussloser Gruben im Erfurter Stadtgebiet