@c This file is empty because the original one has a non DFSG free license (GFDL)