Rekord bei Rüstungsexporten: Deutsche Rüstungsindustrie boomt, während ziviler Sektor schwächelt 20. November 2024