Regardless, google says its a public domain name for pretty obvious reasons. Copyrighting names for fictional characters is an absolute bitch and even the most obvious violators rarely see court since its so easy to argue some minor variation/difference in design/story/spelling of name makes the character different. No one wants to spend the money, time and effort in court to lose.I don't think he was specifically called "Lucifer Morningstar" in the bible, and people have done some crazy things in the name of copyright.