Тринити: Семеро магов — Небесная библиотека и Багровый Король / Trinity Seven Movie 2: Tenkuu Toshokan to Shinku no Maou