Capital of the Federal Republic of Germany.