War der Harz in der DDR?