Vor Bayern-Dortmund-Spiel: Polizei verstärkt Kräfte wegen Terror-Alarm