hade infunnit sig , och i staden flaggades allmänt på half stång.