Wann baute die DDR die Mauer in Berlin ?