Sollte das so kommen, kann man in Berlin den Ausnahmezustand ausrufen und sämtliche Polizei des Landes zusammenkarren.
Ich hab jedenfalls vorsorglich mal Karten bestellt beim DFB. Im Zweifel kann man die ja bis 5 Tage nach dem Halbfinale noch stornieren.