Hi Jan-Hendrik. Kay grabbed the screen parts on his Linux box, but I forgot which screen grabber tool he actually used. Using his mpeg2 files, I did the editing with Ulead VideoStudio 11 on a Windows system. There was some back and forth due to the limitations of the post-production tool - I am not a video expert, and so we had to learn some facts about codecs and video resolution first. But then things went quite well, and the entire movie was completed in about one day. If I had more routine in such things, it would probably have taken just two or three hours. Nevertheless, it was a fun experience.