Lining tunnels, galleries or other underground cavities, e.g. large underground chambers; Linings therefor; Making such linings in situ, e.g. by assembling
Transport or application of concrete specially adapted for the lining of tunnels or galleries; ; Backfilling the space between main building element and the surrounding rock, e.g. with concrete
