som hela den tyska militärbudgeten.