Hauptspiegeldurchmesser