offentliga byggnader i staden och å fartygen i hamnen flaggades på half stång.