The Demographic Dividend of Digitalization: Productivity Despite Shrinking Workforces