Граница ГДР на карте: исторические факты и изменения