hissades sorgeflaggan ned , och sorgehögtidenvar