Tunnel construction : proceedings: 6th International Symposium on Tunnel Construction, Munich, Germany, 4th - 5th April 2001 on the occasion of BAUMA 2001 (Glückauf, 2001)