What is "gyrotheodolite"

In surveying, a gyrotheodolite (also: surveying gyro) is an instrument composed of a gyroscope mounted to a theodolite. It is used to determine the orientation of true north. It is the main instrument for orientation in mine surveying and in tunnel engineering, where astronomical star sights are not visible and GPS does not work.