Puella Magi Madoka Magica: The Movie is a series of Japanese animated films produced by Aniplex and Shaft based on the 2011 television anime series of the same name.
https://themoviedb.org/collection/212166