mnli premise: The fortress even withstood an earthquake in 1644, as well as attempts by the Austrian Archduke Charles to blast his way in during the War of the Spanish Succession. hypothesis: The fortress was finally and utterly destroyed when Archduke Charles demolished it.