Тоннельная машина Elframo серии ETR: принцип работы