Den VLC-Player zum Abspielen und Konvertieren diverser Videoformate und -codecs kennt vermutlich jede/r… aber eben wollte ich schnell eine Sequenz aus einem längeren Film rausschneiden und musste erstmal nach den Einstellungen suchen… hier eine gute Kurzanleitung: https://www.heise.de/tipps-tricks/VLC-Player-Video-schneiden-so-funktioniert-s-4423533.html