see the file "copyright.txt"
