Öfver allt i staden flaggades på half stång såväl