virtualboxes.org
Debian 4.0r3 (XFCE) image is ready
You can grab it here.