West Germany is part of Germany