German arms exports hit record $13.7B in 2024