License information:  According to the  original web page,  this sound
file is in the public domain.