I did as described in this post. Used the video format, clicked Select a video form the media library" and uploaded an mp4 video.
All I get is a black video player, no video to play.
I inspected the postmeta for this post and find meta_key _wp_format_video with meta_value
Also tried other videos and the [video] shortcode described in the post. The shortcode expands to nothing.
Theme: Twenty Thirteen 0.1