[486] Verkürzte Thürstöcke. Thürstöcke, welche nicht die ganze Stollenhöhe haben.
Pierer-1857: Verkürzte Decimalzahl