Gravferden skjer på statens bekostning og her følger viktig informasjon.
Dørene åpnes kl 10.45 og det vil være adgangssjekk av gjester til seremonien, i regi av Oslo politi. Det er ikke skriftlig påmelding.
Det henstilles til ikke å ta med store vesker eller bagger, og blomster til seremonien kan ikke medbringes ved ankomst til kirken.
Alle gjester til seremonien må være inne i kirkerommet innen kl 11.30
Offisielle gjester ankommer kirken etter kl 11.30.
Seremonien sendes direkte på NRK TV og her på minnesiden.