Das war eine 9-Milliarden-Dollar-Flagge.