Vertrag zwischen der Bundesrepublik Deutschland und der Deutschen Demokratischen Republik über die Herstellung der Einheit Deutschlands – EinigVtr

(1) ¹Hauptstadt Deutschlands ist Berlin.
²Die Frage des Sitzes von Parlament und Regierung wird nach der Herstellung der Einheit Deutschlands entschieden.

(2) Der 3. Oktober ist als Tag der Deutschen Einheit gesetzlicher Feiertag.