Microtunnel construction : proceedings: 3rd international symposium on microtunnel construction, Munich, Germany, 6-7 April 1995, on the occasion of BAUMA 95 - Mess Munchen International (Balkema, 1995)