[user104658]

Well why wouldn't he retire 5 years early? Now he has 5 whole more years for leisure activities, like going in women's toilets and changing rooms.

...

In all seriousness though, it's daft that women can retire earlier than men there anyway. I mean, don't women on average live longer? They should retire later if anything

Although I seem to remember it being the same in the UK once upon a time? Women were 60 and men 65? I might be imagining it though.