Die Diagnoseausgleichung 1980 des deutschen Hauptdreiecksnetzes