Les Byggeindustrien digitalt- Vi fikk melding om hendelsen klokken 21.42, sier operasjonsleder i Oslo politidistrikt, Hilde Walsø til NTB.
Politiet mistenker ikke at noe kriminelt skal ha skjedd.
Omkom etter fall fra Operahuset i Oslo
En person omkom søndag kveld etter at han falt fra Operahuset i Oslo.