derpå hissas flaggan på presidenttribunen.