剧场版 七人魔法使 天空图书馆与真红的魔王

剧场版 七人魔法使 天空图书馆与真红的魔王, 劇場版 トリニティセブン -天空図書館と真紅の魔王-, Gekijouban Trinity Seven Tenkuu Toshokan to Shinku no Maou