och stadshuset flaggades på half stång.