Wie viel des Exportes Thüringens gehen in die EU?