Digitalization, Industry Concentration, and Productivity in Germany