i staden flaggades på half stång.