Also part of this annex is the Armeria Real (Royal Armory).
A portion of this annex is the Armeria Real.