Investigations in the new TBM-excavated Belchen highway tunnel. Program, design and installations (Part 1)