Wie hoch sind die Exporte von Deutschland?