Let’s say we have a video input.mp4, and a file split.csv containing:

start;end;name
00:00:27.132;00:07:42:422;"Part A.mp4"
00:07:48.400;00:17:17.921;"Part B.mp4"

(or I could format the text file in any other format)

How to split the MP4 into different parts with the given start / end timestamps, and the given filename for each part?