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.
