diversion tunnel
[DE] Ableitstollen; Ableitungsstollen
[EN] diversion tunnel
[FR] galerie de dérivation
diversion canal,diversion channel,diversion tunnel
[DE] Umleitungskanal; Umleitungsstollen
[EN] diversion canal; diversion channel; diversion tunnel
[FR] dérivation provisoire