Ausbau

(bergmännisch) dauerhafte Sicherung der unterirdischen Hohl­räume.