Are the animes "sora no otoshimono" and "heavens lost property" different animes, the same anime just translated, or is one of them a sequel to the other anime?