den kejserliga flaggan på half stång.