offentliga och många enskilda byggnader flaggades på half stång.