Semmering Base Tunnel - Keeping shafts free of ice through the example of the Fröschnitz 2 supply shaft / Semmering-Basistunnel - Eisfreihaltung von Schächten am Beispiel des Versorgungsschachts Fröschnitz 2 | Geomechanics and Tunnelling