offentliga byggnader flaggades på half stång.