Så sänktes kejsarflaggan med örnen.