'Paleis van de republiek' wordt toch gesaneerd