I Filipstad flaggades på half stångmed