Im Normalfall reicht mir die normale avi-(DivX)-Auflösung.

Aber wenn schon zusätzlich ein HQ-Format, dann in H264; schon allein damit die Dateiegröße bei sichtbar besserer Auflösung/Bitrate nicht übermäßig anwächst.