Hi! Which package in Debian contains ppmtogif? "apt-cache search ppmtogif" didn't return anything. Thanks in advance for any hints! Greetings, Holger