var den stora flaggan å riksdagshuset i går hissad å half stång.