Staatsbegräbnis in Norwegen: König Harald wird in Oslo beigesetzt