13,11 Milliarden Euro! Deutschlands Rüstungs-Exporte auf Rekordniveau