tilblötos genast , och flaggan hissades på half stång.