A theatrical edit of episodes 15-17 of the TV Anime Summer Pockets