Two white dwarf stars orbiting each other every 5 minutes.