Exports and Productivity in Germany