You might also know this place by the following names:
Royal Armoury of Madrid, Real Armería de Madrid