samt å flera andra byggnader flaggades på half stång.