Arbetsplatsolycka på Kungliga operan i Stockholm under tekniskt arbete på scenen.