Data recorded with RaceChrono for Android, and mashed onto the video using RaceRender. Both are excellent tools I can recommend wholeheartedly.