See also the discussion on debian-legal: https://debian-legal.debian.narkive.com/gGuSWDyP/are-register-names-and-locations-under-copyright
Apparently, the files are not actually non-free (though that might vary by jurisdiction and opinion), as the non-freeness is based on a copyright claim to something likely not copyrightable. Philipp