Provedení táhel z vysokopevnostní oceli v klenebních pasech, torkretáž nosných pilířů a opravy trhlin