I discover only now that there is also the native "Interpolate Video" plugin.