The tunnel ceilings then had to be repaired using the so-called Torkret method, i.e. the use of injection cement.
Die Tunneldecken mussten anschließend mit dem sogenannten Torkretverfahren, das heißt der Verwendung von Spritzzement, repariert werden.