The world’s biggest tunnel-boring machine, nicknamed Bertha, is awaiting repairs, and getting it going again will be an engineering feat in itself.