fot , utom en 400 fots lång utgrening för upptagandet af bäcken från Gibraltar.