Infrared spectrum of an extremely cool white-dwarf star | doi.page