Looks like there is an option to retire early and take a reduced pension if you have paid sufficient contributions, so maybe he did that?
