demolition of Palast der Republik, Berlin