Rotsachtige super-Aarde HD 3167 b is de ‘koudste’ lava-wereld ooit waargenomen