Hat sich erledigt, es sind mkv Files und die lassen sich unter Windows abspielen.