flaggades på half stång under helatorsdagen