Germany: Industrial Production
Energy-intensive industries versus manufacturing overall