i röda galauniformer , och då konungarne inforo på palatsets gård , hissades den portugisiska flaggan på Kristian den sjundes palats , hvarest konung Luiz bottunder