East Germany is part of Germany