Schloss Mirabell, Festung Hohensalzburg