see https://www.vdr-portal.de/forum/thread/119845-hd-aufnahmen-in-sd-umwandeln/?pageNo=3

see Help/Linux/Shell/Shell-Scripts/convert-videos