dollars spent so far this year on the German Military budget.