(ehem.) Grundlagenvertrag (Vertrag vom 21. Dezember 1972 zwischen der Bundesrepublik Deutschland und der Deutschen Demokratischen Republik über die Grundlagen der Beziehungen zwischen der Bundesrepublik Deutschland und der Deutschen Demokratischen Republik)