och flere enskilda byggnader flaggades på half stång.