This file has been released into the public domain by the copyright holder, its copyright has expired, or it is ineligible for copyright. This applies worldwide.
Please verify that the reason given above is valid!
Note: If there is a specific licence tag for the reason supplied here, please use it.