What anime is Chouka Shi in?

Chouka Shi appears in Mahou Shoujo Madoka★Magica Movie 4: Walpurgis no Kaiten.