Alemania exportó armamento por 8.400 millones en 2025 tras el récord de 13.330 millones en 2024