Railway technology at the Gothard base tunnel Dulcinea, La tuneladora Túnel de Bolaños en la alta velocidad