The Luminosity Function of Massive White Dwarfs