I used Adobe After Effects to create the animation and the LottieFiles plug-in to export it as a JSON-based animation format.