inträffade under uppförandet af Don Juan pä stora teatern i Stockholm en beklaglig olyckshändelse.