In English, the two larger states were known informally as "West Germany" and "East Germany" respectively. In both cases, the former occupying troops remained permanently stationed there. The former German capital, Berlin, was a special case, being divided into East Berlin and West Berlin, with West Berlin completely surrounded by East German territory. Though the German inhabitants of West Berlin were citizens of the Federal Republic of Germany, West Berlin was not legally incorporated into West Germany; it remained under the formal occupation of the western allies until 1990, although most day-to-day administration was conducted by an elected West Berlin government.