And I don't think the working age population has stayed the same, even if the general population might have.

The effective population changed quite a bit, too: first fall of the wall, later integration of eastern central Europe into the German economy.