Permafrost rocks and high-alpine infrastructure: Interrelated, interconnected, interacting | Geomechanics and Tunnelling