a sea of stars, anime