Eiyuu Kyoushitsu no Chouetsu Majutsushi: Gendai Majutsu wo Kimeshimono, Tenseishi Tenshi wo Shitagaeru (2020)