In the thread somebody asked the same question. Answer was "used rotatoapp and final cut pro" (https://rotato.app/)