Update: Problem suddenly (time has passed..) re-appears. I assume http://www.cups.org/str.php?L2892 and http://bugs.debian.org/cgi-bin/bugreport.cgi?bug=501219 is relevant here. Adding a printer with Opera (e.g.) works.