Unter dem Begriff Felsbau bzw. Gesteinsbau ({enS|rock construction}) werden im Bauwesen jene Verfahren und Bautechniken zusammengefasst, die sich mit Bauwerken in Festgesteinen – wie Tunnel, Stollen als Leitungsanlage oder für das Einbauen von Pipelines, Hohlräume im Bergbau und für Untertageanlagen (dem Kavernenbau im Speziellen) – und spe...