What does Germany export? (2020)