EinigVtr
(1) 1Hauptstadt Deutschlands ist Berlin.
2Die 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.