sådan marinbudget har Tyskland ännu aldrig skådat.