(以下、「ドイツ」は当時の西ドイツ、「ベルリン」は西ベルリンのこと)