Tysklands militärbudget är 658 250 000 mark,