In weichem Jahr wurde die Mauer in Berlin gebaut ?