Ist der Harz DDR?