Wie viel exportiert die Schweiz in die EU?