Wie hoch war der höchste Berg der DDR?