see the file "COPYING"
