GZIP files

I would like to decompress the file 

http://www.w3.org/TR/html401/html40.pdf.gz

I downloaded some stuff from the www.gzip.org site, but I can't figure out how to use it.

Could you give me some help, please?

With kind regards,

Maurits Stoffels