You can't input video into the Mini's mini DVI. Your best and probably only good bet would be to get a video-firewire converter and use the S-Video out of your recorder.
Getting from HDMI into something usable would cost a good amount of money. The only options I can think of are broadcast products, not cheap.