Okay, #programmatic #video #editing is very cool: https://github.com/Zulko/moviepy This could be a way to produce videos for #robocup more reliably and quickly... I think I will check this out later!