This file is copyrighted. The copyright holder has given permission for its use.