If he had what Dutch people call a pension, it's still his, and he can still collect it. We're not talking about money given out by the Dutch government at reti

If he had what Dutch people call a pension, it's still his, and he can still collect it. We're not talking about money given out by the Dutch government at retirement. By pension, we're talking about investments made during the lifetime of your employment that the employee owns. If he made contributions to a Dutch pension he still owns it. That's property, and has nothing to do with residency.