Erneuerung Rohrstollen Ardetzenberg mit Infrastrukturleitungen