Tyska militär- och marinbudgeten.