Permission is granted to distribute possibly modified
copies of this page provided the header is included
verbatim, and in case of nontrivial modification author
and date of the modification is added to the header.