Where does Germany export to? (2018)