20210630 home.science: 'Extreme' white dwarf sets cosmic records for small size; huge mass