Mahoutsukai no Yoru
English title: Witch on the Holy Night
Japanese title: 魔法使いの夜
Alternative titles: A Magician's Night, MahoYo
Type: Movie
Source: Visual novel
Episodes: 1
Status: Not yet aired
Aired: Not available
Duration: Unknown
Studios: ufotable
Producers: Aniplex
Genres: Mystery, Supernatural

Set near the end of the Showa period in the late 1980s, an old mansion in Misaki Town is rumored to be the home of a witch.

Aoko abruptly enters the world of magi after her grandfather suddenly decides to have Aoko become the Aozaki family's successor. Since then, Aoko moves into the Kuonji Mansion and begins to learn magecraft from the young magus Alice Kuonji, the rumored witch of the mansion. After witnessing the two using magecraft, Soujuurou Shizuki is also forced to live with them until a rune to remove his memories is discovered. 

(Source: Type-Moon Fandom Wiki)