Rohrleitungen für das nächste Jahrhundert : Sanierung oder Erneuerung? / Hrsg.: Joachim Lenz