Der Bundestag muss die Mehrkosten noch in den abschließenden Haushalt unterbringen. Auf Deutschland kämen 650 Millionen Euro zu.