Neue Rohre für Berlin: Grabenlose Sanierung einer Graugussleitung mit PE 100 Druckrohren