Tragwerksanierung des Hallendachs bzw. Risssanierung mittels Rissverpressung