Insight Minute: Has Germany outperformed the rest of Europe on productivity?