Tysklands ordinarie och extraordinarie militärbudget nära 500 millioner mark.