många platser i staden flaggades med anledning däraf på half stång.