af processionen utgjordes af Lissabons garnison , cirka 15,000 man.