I'm not sure why they chose to rename it from Pannenhuis when it re-opened - it means the name no longer matches that of the adjacent Metro station (although the original station barely lasted two years after the Metro interchange opened, despite receiving a comprehensive refurbishment)...