Hat jemand Erfahrung ggfs. auch mit schlichten oder kostenfreien Tools, um das zu schneiden, Demuxen, Muxen (i-o-Marken setzen und Sequenzen neu wieder zusammensetzen mit optionalen Tonspuren würden fürs erste schon mal reichen).

Ich nutze dafür Magix Video Deluxe Premium. Kann man als kostenlose 30-Tage-Testversion runterladen und damit schon sehr viel anstellen (gut, um zu sehen, ob man damit klar kommt). Mein erstes HD-Urlaubsvideo habe ich damit vor 4 Jahren erstellt (auch von Sony Cam). Hab mir dann anschließend für 65 Euro die Vollversion gekauft, weil es genau das war, was ich gesucht hatte und benutze es seitdem ständig.

Kann natürlich sein, dass es für Deine Zwecke zu viel kann. Aber die Bedienung empfand ich als sehr einfach.