Presuming for whatever reason German Reunification doesn't happen and we end up with two (real) democractic Germanies, what does the former East Germany call itself? The other former Warsaw Pact countries just dropped the "People's" from the front of Republic but East Germany can't really do that.