Lessons learned from the Lassing mining disaster? / Lehren aus dem Grubenunglück Lassing? | Geomechanics and Tunnelling