What does Germany export? (2017)