Mahoutsukai no Yoru
English name: Witch on the Holy Night
Genres: Mystery, Supernatural
Type: Movie, Episodes: 1
Aired: 2023
Studio: ufotable
Source: Visual novel
Synopsis:
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)