Governmental work belongs to the public domain.