я не спец, но сомневаюсь, что он пользовался штангенциркулем для измерения диаметра.
скорей всего это длина окружности измеренная сантиметром, т.е.
диаметр=13 см / Пи = 4,14 см
Не пойму нахуя такое выкладывать в сеть? Ну найди себе штольню поменьше, а для этой свой шахтер найдется.