TY - RPRT TI - MIGHTEE-HI: The HI mass-stellar mass relation of massive galaxies and the HI mass function at 0.25