Tunnelbau im Buntsandsteingebirge bei geringer Überdeckung. | Bautechnik