Ich wär mit einer Lösung mit 6000 bis 7000 zufrieden. Da würde man einige qualitativ hochwertige Sitzer dazu bekommen, von denen hat man eh zu wenige bei Top-Spielen.
Wenn die Stadt das Dach sowieso erneuern muss wäre das ein guter Schritt.
Eine neue Halle spielts sowieso nicht.