Wie reagierte die BRD auf den Mauerbau?