Möglicherweise kennst du auch folgende Namen für diesen Ort:
Royal Armoury of Madrid, Real Armería de Madrid