Вам может быть известно это место также под этими именами:
Royal Armoury of Madrid, Real Armería de Madrid