This file was released into the public domain by the copyright holder, its copyright has expired, or it is ineligible for copyright. This applies worldwide.

Content released into the public domain may be used for any purpose without attribution, including commercial activities and creation of derivative works.