Mehr als 12.000 Sicherheitsbeamte bei Bush-Besuch in Deutschland im Einsatz