I think Kriesi bought an offline desktop recording tool to produce tutorial vdeos :)

The videos can be foun here now: https://kriesi.at/support/topic/installing-wordpress-301-and-basic-settings