I just found a german shop selling Debian GNU/Linux 3.1 Professional.

I wounder how Debian GNU/Linux 3.1 Personal and Debian GNU/Linux 3.1 Enterprise would look like :-)