såsom sorgebetygelse i dag flaggat på half stång.