Title: Diagnoseausgleichung 1980 des Deutschen Hauptdreiecksnetzes